机译:MONSOON:基于SAT的ATPG,用于使用多值逻辑的路径延迟故障
机译:MONSOON:使用多值逻辑的基于SAT的ATPG用于路径延迟故障
机译:基于ATPG的基于ATPG的逻辑优化方法来删除冗余多个故障
机译:基于SAT的ATPG的最新进展:非标准故障模型,多约束和优化
机译:使用进化方法对多场景,多目标容错问题进行优化和建模
机译:多传感器数据的故障诊断:基于频谱聚类和成对约束的数据驱动方法
机译:mONsOON:基于saT的aTpG,用于使用多值逻辑的路径延迟故障
机译:基于神经网络架构,多腿优化模型和容错计算机的全球开放式计算机网络及其优化设计